" C.Carroll Morgan" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Theoretical Aspects of Computing - ICTAC 2009: 6th International Colloquium, Kuala Lumpur, Malaysia, August 16-20, 2009, Proceedings (Lecture Notes in ... Computer Science and General Issues)

Martin Leucker, Charles Carroll Morgan

Категория: Компьютеры

4.34 Mb

#2

Mathematics of Program Construction: Second International Conference, Oxford, U.K., June 29 - July 3, 1992. Proceedings (Lecture Notes in Computer Science)

Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock

Категория: Компьютеры

15.34 Mb

#3

Abstraction, Refinement and Proof for Probabilistic Systems (Monographs in Computer Science)

Annabelle McIver, Charles Carroll Morgan

2.46 Mb

#4

Formal Methods: Foundations and Applications - SBMF 2011

Adenilso Simao, Carroll Morgan

3.31 Mb

#5

Formal Methods, Foundations and Applications, 14 conf., SBMF 2011

Adenilso Simão; Carroll Morgan

Категория: Cs_Computer science, CsLn_Lecture notes

2.49 Mb

#6

Abstraction, Refinement and Proof for Probabilistic Systems

Annabelle McIver, Charles Carroll Morgan

2.52 Mb

#7

Mathematics of Program Construction

Richard S. Bird, C.Carroll Morgan, James C.P. Woodcock

Категория: Cs_Computer science, CsLn_Lecture notes

2.44 Mb